.hidden { display: none }
.success { background: #afa }
.error { background: #faa }
.CodeMirror { max-height: 200px; }
.CodeMirror-gutters { z-index: 0; }
.CodeMirror-scroll, pre#result {
  min-height: 100px;
  border: 1px solid black;
  font-family: monospace;
  padding: 0;
  margin: 0;
}

